$\forall$$g$:OCMon, $u$, $v$, $w$:$\mid$$g$$\mid$. (($w$ $\ast$ $u$) = ($w$ $\ast$ $v$) $\in$ $\mid$$g$$\mid$) $\Rightarrow$ ($u$ = $v$)